"""
素数数字替换

将两位数a3的第一个数字替换为任意数字，在九个可能值中有六个是素数：
    13、23、43、53、73、83
将五位数56aa3的第三和第四位数字替换为相同的任意数字，十个可能值中有七个是素数，这7个素数是：
    56003、56113、56333、56443、56663、56773、56993
56003作为最小的数，也是最小的满足这个性质的素数。
  通过将部分数字(不一定相邻)替换为相同的任意数字，有时能够得到八个素数，求满足这一性质的最小素数。

"""

def is_prime(n):
    if n==2:
        return True
    else:
        for i in range (2,int(n**0.5)+1):
            if n%i==0:
                return False
        else:
            return True

def replace(m):
    record=[]
    for j in m:
        list1=[]
        leave=[]
        if j not in record:
            record.append(j)
            for k in range(0,10):
                new_m=m.replace(j,str(k))
                list1.append(new_m)
            for l in list1:
                if is_prime(int(l)) and (not l.startswith('0')):
                    leave.append(int(l))
            if len(leave)==8:
                return(min(leave)) 

num=99999
while True:
    if replace(str(num))!=None:
        print(replace(str(num)))
        break
    num+=2


        


# import itertools#引入组合库
# def JudgePrime(num):#判断素数
#     if num==1 or num==2:
#         return False
#     else:
#         for i in range(2,int(num**0.5)+1):
#             if num%i==0:
#                 return False
#         return True
# def JuList(li):#判断替换的数字序列中素数的个数
#     return [JudgePrime(i) for  i in li].count(True)
# #判断要加的数
# def Jadd(num,s='1'):
#     #记录位置
#     weizhi=[]
#     fan=list(str(num))
#     for i in fan[:-1]:#最后一位去除
#         if i==s:
#             t=fan.index(i)
#             fan[fan.index(i)]='w'
#             weizhi.append(len(fan)-t-1)
#     #获得全排列
#     du=[]
#     for ig in range(len(weizhi)):
#         for gi in list(itertools.combinations(weizhi,ig+1)):
#             du.append(gi)
#     #根据全排列后的确定加的数字
#     shuzi=[]
#     for j in du:
#         sumsum=0
#         for js in j:
#             sumsum+=10**js
#         shuzi.append(sumsum)
#     return shuzi
# #开始
# bu=0
# st=100000
# while bu!=1:
#     if JudgePrime(st):
#         for iss in range(3):
#             for iadd in Jadd(st,s=str(iss)):
#                 jjuu=[st]
#                 for ij in range(1,9-int(iss)+1):
#                     jjuu.append(st+ij*iadd)
#                 if JuList(jjuu)==8:
#                     print(st,iadd,jjuu)
#                     bu=1
#         st+=1
#     else:
#         st+=1
# 答案：素数序列为：[121313, 222323, 323333, 424343, 525353, 626363, 727373, 828383, 929393]，第1，3，5位替换。
# 最小的素数：121313。